首页> 外文OA文献 >A simple model for certifying assembly programs with first-class function pointers

【2h】

A simple model for certifying assembly programs with first-class function pointers

机译：一个简单的模型，用于使用第一类函数指针验证汇编程序

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Wei Wang; Zhong Shao; Xinyu Jiang; Yu Guo;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Certified assembly programming with embedded code pointers [J] . Ni ZZ, Shao Z ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2006,第1期

机译：通过嵌入式代码指针的经过认证的汇编编程
2. Improved integer programming models for simple assembly line balancing and related problems [J] . Ritt Marcus, Costa Alysson M. International transactions in operational research: A journal of The International Federation of Operational Research Societies . 2018,第4期

机译：改进的整数编程模型，用于简单装配线平衡和相关问题
3. A PARALLEL FUNCTIONAL LANGUAGE WITH FIRST-CLASS CONTINUATIONS. PROGRAMMING STYLE AND SEMANTICS [J] . Luc MOREAU Computers and Artificial Intelligence . 1995,第2期

机译：具有一流延续性的并行功能语言。编程风格和语义
4. A Simple Model for Certifying Assembly Programs with First-Class Function Pointers [C] . Wang Wei, Shao Zhong, Jiang Xinyu, 2011 Fifth International Conference on Theoretical Aspects of Software Engineering . 2011

机译：具有一流功能指针的汇编程序认证的简单模型
5. Simple, safe, and efficient memory management using linear pointers. [D] . Liu, Likai. 2014

机译：使用线性指针进行简单，安全和高效的内存管理。
6. Self assembly of rectangular shapes on concentration programming and probabilistic tile assembly models [O] . Vamsi Kundeti, Sanguthevar Rajasekaran -1

机译：矩形形状的自组装浓度编程和概率瓦片装配模型
7. Improved integer programming models for simple assembly line balancing and related problems [O] . Ritt, Marcus, Costa, Alysson M. 2015

机译：改进的整数编程模型，用于简单的装配线平衡和相关的问题
8. Are 'Certified Regulatory Programs' Functionally Equivalent to CEQA. A Comparison of their Statutes and Regulations. [R] . Pollak, D. P. 2002

机译：“认证监管计划”是否与CEQa在功能上相当。他们的章程和法规的比较。

A simple model for certifying assembly programs with first-class function pointers

著录项

引文网络

相似文献

相关主题

期刊订阅